if [ $# == 2 ]; then
	echo -n ""
else
	echo "usage: run-smt.sh  #itr-start  #itr-end"
	echo "ex:    run-smt.sh  0 3"
	exit
fi

for i in $(seq $1 $2); do

	echo iteration-$i $type
	log=log-smt.${i}; rm -rf $log
	echo -n "[Start] " >> $log
	date >> $log
	echo "SMT" >> $log
	cd i${i}

	#smt
	cd smt


	make realall2
#	make test_all
#	make tune_ test_all_tuned

	echo "[EVAL]" >> ../../$log
	make eval_all >> ../../$log

#	echo "[EVAL_tuned]" >> ../../$log
#	make eval_all_tuned >> ../../$log
	make clean

	cd ..

	# end
	echo -n "[End] " >> ../$log
	date >> ../$log
	cd ..
done


